10.1.7 Drawing of a perpendicular to a given line, from a point outside the line